1. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
پدیدآورنده : Hirschfeldt, Denis Roman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Reverse mathematics,، Computable functions,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
1187